interface-compatible(A;B)
== l:IdLnk, tg:Id.
== (interface-link(A;B;l;tg)  (A(source(l)).dout(l,tg) r B(destination(l)).din(l,tg)))
== & (interface-link(B;A;l;tg)  (B(source(l)).dout(l,tg) r A(destination(l)).din(l,tg))) 

latex

Definitions	IdLnk, x:A. B(x), Id, P & Q, P  Q, interface-link(A;B;l;tg), M.dout(l,tg), source(l), M.din(l,tg), destination(l)
FDL editor aliases	interface-compatible